Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.
In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | F | A | F(-1) | A | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 429 | 429 | 328 | 257 | 0 | 608 | 0 | 717 | -1 |
N.S. |
1 | 1.00 | 0.76 | 0.60 | 0.00 | 1.42 | 0.00 | 1.67 | -0.00 |
time (sec) |
N/A | 0.729 | 5.956 | 5.725 | 0.000 | 0.528 | 0.000 | 0.749 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | F | A | F | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 212 | 212 | 202 | 152 | 0 | 374 | 0 | 425 | -1 |
N.S. | 1 | 1.00 | 0.95 | 0.72 | 0.00 | 1.76 | 0.00 | 2.00 | -0.00 |
time (sec) |
N/A | 0.247 | 2.753 | 6.578 | 0.000 | 0.402 | 0.000 | 0.646 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | F | A | F | A | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 138 | 138 | 119 | 99 | 0 | 202 | 0 | 213 | -1 |
N.S. | 1 | 1.00 | 0.86 | 0.72 | 0.00 | 1.46 | 0.00 | 1.54 | -0.01 |
time (sec) |
N/A | 0.077 | 0.999 | 5.737 | 0.000 | 0.378 | 0.000 | 0.515 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | B | F | B | F(-1) | B | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 218 | 218 | 450 | 543 | 0 | 1356 | 0 | 548 | -1 |
N.S. |
1 | 1.00 | 2.06 | 2.49 | 0.00 | 6.22 | 0.00 | 2.51 | -0.00 |
time (sec) |
N/A | 0.603 | 4.296 | 11.739 | 0.000 | 1.893 | 0.000 | 0.582 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F | B | F(-1) | B | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 265 | 265 | 460 | 932 | 0 | 2096 | 0 | 625 | -1 |
N.S. |
1 | 1.00 | 1.74 | 3.52 | 0.00 | 7.91 | 0.00 | 2.36 | -0.00 |
time (sec) |
N/A | 0.636 | 4.467 | 13.429 | 0.000 | 1.672 | 0.000 | 0.645 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F | B | F(-1) | B | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 308 | 308 | 504 | 1587 | 0 | 3104 | 0 | 938 | -1 |
N.S. |
1 | 1.00 | 1.64 | 5.15 | 0.00 | 10.08 | 0.00 | 3.05 | -0.00 |
time (sec) |
N/A | 0.666 | 5.672 | 15.551 | 0.000 | 2.441 | 0.000 | 0.723 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 284 | 284 | 375 | 610 | 0 | 653 | 0 | 573 | -1 |
N.S. | 1 | 1.00 | 1.32 | 2.15 | 0.00 | 2.30 | 0.00 | 2.02 | -0.00 |
time (sec) |
N/A | 0.659 | 0.609 | 8.720 | 0.000 | 0.438 | 0.000 | 0.673 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F | A | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 200 | 200 | 246 | 396 | 0 | 470 | 0 | 375 | -1 |
N.S. | 1 | 1.00 | 1.23 | 1.98 | 0.00 | 2.35 | 0.00 | 1.88 | -0.00 |
time (sec) |
N/A | 0.392 | 0.378 | 7.365 | 0.000 | 0.425 | 0.000 | 0.602 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F | A | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 130 | 130 | 135 | 232 | 0 | 323 | 0 | 229 | -1 |
N.S. | 1 | 1.00 | 1.04 | 1.78 | 0.00 | 2.48 | 0.00 | 1.76 | -0.01 |
time (sec) |
N/A | 0.180 | 0.345 | 7.423 | 0.000 | 0.533 | 0.000 | 0.532 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 79 | 79 | 106 | 128 | 0 | 228 | 0 | 149 | 151 |
N.S. | 1 | 1.00 | 1.34 | 1.62 | 0.00 | 2.89 | 0.00 | 1.89 | 1.91 |
time (sec) |
N/A | 0.047 | 0.163 | 7.876 | 0.000 | 0.435 | 0.000 | 0.449 | 1.056 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F(-1) | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 136 | 136 | 238 | 199 | 0 | 786 | 0 | 261 | -1 |
N.S. |
1 | 1.00 | 1.75 | 1.46 | 0.00 | 5.78 | 0.00 | 1.92 | -0.01 |
time (sec) |
N/A | 0.197 | 2.262 | 9.329 | 0.000 | 1.037 | 0.000 | 0.559 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F(-1) | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 207 | 207 | 374 | 899 | 0 | 2231 | 0 | 510 | -1 |
N.S. |
1 | 1.00 | 1.81 | 4.34 | 0.00 | 10.78 | 0.00 | 2.46 | -0.00 |
time (sec) |
N/A | 0.428 | 5.012 | 12.520 | 0.000 | 2.863 | 0.000 | 0.616 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | B | F(-1) | B | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 309 | 309 | 490 | 2275 | 0 | 4268 | 0 | 909 | -1 |
N.S. |
1 | 1.00 | 1.59 | 7.36 | 0.00 | 13.81 | 0.00 | 2.94 | -0.00 |
time (sec) |
N/A | 0.726 | 8.508 | 17.833 | 0.000 | 4.768 | 0.000 | 0.735 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F(-1) | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 283 | 283 | 684 | 1031 | 0 | 812 | 0 | 673 | -1 |
N.S. |
1 | 1.00 | 2.42 | 3.64 | 0.00 | 2.87 | 0.00 | 2.38 | -0.00 |
time (sec) |
N/A | 0.670 | 0.735 | 9.930 | 0.000 | 0.475 | 0.000 | 0.624 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 203 | 203 | 357 | 694 | 0 | 610 | 0 | 478 | -1 |
N.S. | 1 | 1.00 | 1.76 | 3.42 | 0.00 | 3.00 | 0.00 | 2.35 | -0.00 |
time (sec) |
N/A | 0.391 | 0.512 | 7.077 | 0.000 | 0.456 | 0.000 | 0.607 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F | F(-2) | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 133 | 133 | 246 | 389 | 0 | 431 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.85 | 2.92 | 0.00 | 3.24 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.189 | 0.320 | 6.894 | 0.000 | 0.417 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 87 | 87 | 150 | 176 | 0 | 315 | 0 | 192 | -1 |
N.S. | 1 | 1.00 | 1.72 | 2.02 | 0.00 | 3.62 | 0.00 | 2.21 | -0.01 |
time (sec) |
N/A | 0.051 | 0.147 | 4.798 | 0.000 | 0.420 | 0.000 | 0.490 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F(-1) | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 187 | 187 | 419 | 624 | 0 | 1633 | 0 | 488 | -1 |
N.S. |
1 | 1.00 | 2.24 | 3.34 | 0.00 | 8.73 | 0.00 | 2.61 | -0.01 |
time (sec) |
N/A | 0.399 | 2.218 | 9.638 | 0.000 | 2.066 | 0.000 | 0.602 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | B | F(-1) | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 292 | 292 | 542 | 2049 | 0 | 3491 | 0 | 898 | -1 |
N.S. |
1 | 1.00 | 1.86 | 7.02 | 0.00 | 11.96 | 0.00 | 3.08 | -0.00 |
time (sec) |
N/A | 0.714 | 6.696 | 14.527 | 0.000 | 4.602 | 0.000 | 0.725 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | B | F(-1) | B | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 402 | 402 | 1395 | 4707 | 0 | 5968 | 0 | 1309 | -1 |
N.S. |
1 | 1.00 | 3.47 | 11.71 | 0.00 | 14.85 | 0.00 | 3.26 | -0.00 |
time (sec) |
N/A | 1.070 | 11.245 | 21.270 | 0.000 | 8.879 | 0.000 | 0.943 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F(-1) | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 308 | 308 | 523 | 1438 | 0 | 1012 | 0 | 778 | -1 |
N.S. |
1 | 1.00 | 1.70 | 4.67 | 0.00 | 3.29 | 0.00 | 2.53 | -0.00 |
time (sec) |
N/A | 0.717 | 1.760 | 12.454 | 0.000 | 0.430 | 0.000 | 0.796 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F(-1) | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 219 | 219 | 544 | 982 | 0 | 774 | 0 | 550 | -1 |
N.S. |
1 | 1.00 | 2.48 | 4.48 | 0.00 | 3.53 | 0.00 | 2.51 | -0.00 |
time (sec) |
N/A | 0.394 | 0.782 | 11.490 | 0.000 | 0.409 | 0.000 | 0.643 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 151 | 151 | 267 | 448 | 0 | 564 | 0 | 378 | -1 |
N.S. | 1 | 1.00 | 1.77 | 2.97 | 0.00 | 3.74 | 0.00 | 2.50 | -0.01 |
time (sec) |
N/A | 0.196 | 0.514 | 9.062 | 0.000 | 0.398 | 0.000 | 0.542 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 126 | 126 | 227 | 279 | 0 | 420 | 0 | 246 | -1 |
N.S. | 1 | 1.00 | 1.80 | 2.21 | 0.00 | 3.33 | 0.00 | 1.95 | -0.01 |
time (sec) |
N/A | 0.070 | 0.267 | 9.954 | 0.000 | 0.413 | 0.000 | 0.503 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F(-1) | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 261 | 261 | 550 | 1418 | 0 | 2665 | 0 | 787 | -1 |
N.S. |
1 | 1.00 | 2.11 | 5.43 | 0.00 | 10.21 | 0.00 | 3.02 | -0.00 |
time (sec) |
N/A | 0.672 | 3.896 | 16.362 | 0.000 | 4.036 | 0.000 | 0.640 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | B | F(-1) | B | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 395 | 395 | 1318 | 4092 | 0 | 5255 | 0 | 1138 | -1 |
N.S. |
1 | 1.00 | 3.34 | 10.36 | 0.00 | 13.30 | 0.00 | 2.88 | -0.00 |
time (sec) |
N/A | 1.065 | 10.533 | 21.731 | 0.000 | 8.623 | 0.000 | 0.905 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | B | F(-1) | F(-2) | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 519 | 519 | 2103 | 7322 | 0 | 8675 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 4.05 | 14.11 | 0.00 | 16.71 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.464 | 13.045 | 32.625 | 0.000 | 27.881 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 221 | 221 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.228 | 27.855 | 0.889 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 217 | 217 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.201 | 6.572 | 0.725 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 221 | 221 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.201 | 6.185 | 0.388 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 223 | 223 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.236 | 30.614 | 2.039 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 427 | 427 | 245 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.57 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.623 | 33.119 | 0.303 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 167 | 167 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.178 | 5.899 | 0.267 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F(-1) | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 220 | 220 | 244 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.11 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.276 | 12.270 | 0.302 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F(-1) | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 269 | 269 | 603 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 2.24 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.321 | 55.981 | 0.310 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 351 | 351 | 300 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.85 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.675 | 10.421 | 0.815 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 199 | 198 | 212 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 0.99 | 1.07 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.255 | 4.253 | 0.712 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 117 | 117 | 275 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.35 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.060 | 1.250 | 0.006 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 191 | 191 | 473 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 2.48 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.202 | 5.014 | 0.449 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 293 | 293 | 651 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 2.22 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.421 | 1.633 | 2.254 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 467 | 467 | 651 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.39 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.907 | 1.729 | 2.158 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 284 | 284 | 3281 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 11.55 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.381 | 7.430 | 0.283 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 274 | 274 | 672 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.45 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.320 | 17.127 | 0.283 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 274 | 274 | 672 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.45 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.335 | 4.014 | 0.323 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 288 | 288 | 672 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.33 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.362 | 4.536 | 0.293 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 270 | 270 | 682 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 2.53 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.282 | 4.200 | 0.323 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 277 | 277 | 573 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 2.07 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.328 | 4.524 | 0.520 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 132 | 132 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.129 | 12.747 | 0.350 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F(-2) | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 139 | 139 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.153 | 5.879 | 0.497 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | A | F(-2) | F(-1) | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 39 | 39 | 39 | 0 | 0 | 61 | 0 | 0 | 98 |
N.S. |
1 | 1.00 | 1.00 | 0.00 | 0.00 | 1.56 | 0.00 | 0.00 | 2.51 |
time (sec) |
N/A | 0.117 | 0.481 | 1.526 | 0.000 | 0.456 | 0.000 | 0.000 | 14.774 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | A | F(-2) | F(-1) | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 40 | 40 | 40 | 0 | 0 | 62 | 0 | 0 | 99 |
N.S. |
1 | 1.00 | 1.00 | 0.00 | 0.00 | 1.55 | 0.00 | 0.00 | 2.48 |
time (sec) |
N/A | 0.117 | 0.528 | 1.517 | 0.000 | 0.460 | 0.000 | 0.000 | 14.621 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | F(-2) | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 199 | 199 | 188 | 374 | 0 | 1327 | 0 | 776 | 2500 |
N.S. |
1 | 1.00 | 0.94 | 1.88 | 0.00 | 6.67 | 0.00 | 3.90 | 12.56 |
time (sec) |
N/A | 0.396 | 1.101 | 0.724 | 0.000 | 0.529 | 0.000 | 0.464 | 27.619 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | B | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 840 | 840 | 2042 | 6059287 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.43 | 7213.44 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 2.139 | 6.538 | 98.622 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | B | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 630 | 630 | 1901 | 3148347 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 3.02 | 4997.38 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.574 | 29.540 | 59.498 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | B | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 417 | 417 | 1949 | 99490 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 4.67 | 238.59 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.350 | 6.413 | 20.678 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | B | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 544 | 544 | 2266 | 198633 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 4.17 | 365.13 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.932 | 7.014 | 27.275 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | B | F | F | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 858 | 858 | 2837 | 867629 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 3.31 | 1011.22 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.761 | 7.852 | 50.631 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F(-2) | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 38 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
time (sec) |
N/A | 0.054 | 16.633 | 0.290 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |